Skip to content

define which proto is latest#133

Merged
ingon merged 1 commit intomainfrom
explicit-latest-proto
Feb 16, 2026
Merged

define which proto is latest#133
ingon merged 1 commit intomainfrom
explicit-latest-proto

Conversation

@ingon
Copy link
Contributor

@ingon ingon commented Feb 16, 2026

No description provided.

@ingon ingon merged commit 6822d83 into main Feb 16, 2026
3 checks passed
@ingon ingon deleted the explicit-latest-proto branch February 16, 2026 06:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant